Models of Pa: Standard Sytems without Minimal Ultrafilters Sh944
نویسنده
چکیده
We prove that N has an uncountable elementary extension N such that there is no ultrafilter on the Boolean Algebra of subsets of N represented in N which is minimal (i.e. Ramsey for partitions represented in N).
منابع مشابه
Ultrafilters maximal for finite embeddability
In this paper we study a notion of preorder that arises in combinatorial number theory, namely the finite embeddability between sets of natural numbers, and its generalization to ultrafilters, which is related to the algebraical and topological structure of the Stone-Čech compactification of the discrete space of natural numbers. In particular, we prove that there exist ultrafilters maximal for...
متن کاملIsabelle/HOL-NSA — Non-Standard Analysis
2 Filter: Filters and Ultrafilters 13 2.1 Definitions and basic properties . . . . . . . . . . . . . . . . . 13 2.1.1 Filters . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.1.2 Ultrafilters . . . . . . . . . . . . . . . . . . . . . . . . 13 2.1.3 Free Ultrafilters . . . . . . . . . . . . . . . . . . . . . . 14 2.2 Collect properties . . . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملUltrafilters on G-spaces
For a discrete group G and a discrete G-space X, we identify the Stone-Čech compactifications βG and βX with the sets of all ultrafilters on G and X, and apply the natural action of βG on βX to characterize large, thick, thin, sparse and scattered subsets of X. We use G-invariant partitions and colorings to define G-selective and G-Ramsey ultrafilters on X. We show that, in contrast to the set-...
متن کاملUltrafilter Spaces on the Semilattice of Partitions
The Stone-Čech compactification of the natural numbers βω (or equivalently, the space of ultrafilters on the subsets of ω) is a well-studied space with interesting properties. Replacing the subsets of ω by partitions of ω in the construction of the ultrafilter space gives non-homeomorphic spaces of partition ultrafilters corresponding to βω. We develop a general framework for spaces of this typ...
متن کاملUltrafilters and non-Cantor minimal sets in linearly ordered dynamical systems
It is well known that infinite minimal sets for continuous functions on the interval are Cantor sets; that is, compact zero dimensional metrizable sets without isolated points. On the other hand, it was proved in Alcaraz and Sanchis (Bifurcat Chaos 13:1665–1671, 2003) that infinite minimal sets for continuous functions on connected linearly ordered spaces enjoy the same properties as Cantor set...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010